Vorwort zur 9. Arbeitstagung Programmiersprachen (ATPS 2016)
نویسندگان
چکیده
Die Arbeitstagung Programmiersprachen dient dem Austausch zwischen Forschern, Entwicklern und Anwendern in Hochschule, Wirtschaft und Industrie, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Dabei sind alle Programmierparadigmen gleichermaßen von Interesse: imperative, objektorientierte, funktionale, logische, parallele und graphische Programmiersprachen ebenso wie verteilte und nebenläufige Programmierung in Intraund Internet-Anwendungen sowie Konzepte zur Integration dieser Paradigmen. Ebenfalls von Interesse sind Arbeiten zu Techniken, Methoden, Konzepten oder Werkzeugen, mit denen Sicherheit und Zuverlässigkeit bei der Ausführung von Programmen erhöht werden können. Typische, aber nicht ausschließliche Themenbereiche der Tagungsreihe sind:
منابع مشابه
Vorwort zur 8. Arbeitstagung Programmiersprachen (ATPS 2015)
Die Arbeitstagung Programmiersprachen (ATPS) ist eine jährlich stattfindende Veranstaltung der Fachgruppe Programmiersprachen und Rechenkonzepte der Gesellschaft für Informatik (GI). Sie dient dem Austausch zwischen Wissenschaftlern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Dabei sind alle Programmierparadigmen gleichermaßen von Intere...
متن کاملVorwort zur 6. Arbeitstagung Programmiersprachen (ATPS 2013)
Die Arbeitstagung Programmiersprachen dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschäftigen. Für diese Tagung sind alle Programmierparadigmen und deren Sprachen von Interesse: imperative, objektorientierte, funktionale, logische, parallele, graphische Programmiersprachen, auch verteilte und nebenläufige Progra...
متن کامل5. Arbeitstagung Programmiersprachen (ATPS 2012)
Die Tagung dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen beschaeftigen. Alle Programmierparadigmen sind von Interesse: imperative, objektorientierte, funktionale, logische, parallele, graphische Programmiersprachen, auch verteilte und nebenlaeufige Programmierung in Intraund Internet-Anwendungen, sowie Konzepte zur...
متن کامل6. Arbeitstagung Programmiersprachen (ATPS 2013)
Jens Knoop1, Janis Voigtländer2 1 Institut für Computersprachen, TU Wien Argentinierstr. 8 / E185.1, A-1040 Wien, Österreich [email protected] 2 Institut für Informatik, Universität Bonn Römerstraße 164, D-53117 Bonn, Deutschland [email protected] Die Tagung dient dem Austausch zwischen Forschern, Entwicklern und Anwendern, die sich mit Themen aus dem Bereich der Programmiersprachen ...
متن کاملA Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is necessary to prove their correctness. We develop a formal semantics for static single assignment (SSA) intermediate representations and prove formally within the Isabelle/HOL theorem prover that a relatively simple form of code g...
متن کامل